1. Logic for applications
Author: Anil Nerode, Richard A. Shore
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
63
.
N47
2. Logic for applications
Author: / Anil Nerode, Richard A. Shore
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science-mathematics,Logic, Symbolic and mathematical
Classification :
QA76
.
9
.
M35
,
N47
1997
3. Logic for applications /
Author: Anil Nerode, Richard A. Shore
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics,Logic, Symbolic and mathematical
Classification :
QA76
.
9
.
M35
N47
1997
4. Recursion theory
Author: edited by Anil Nerode and Richard A. Shore
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Addresses, essays, lectures ، Recursion theory
Classification :
QA
1
.
P7
Vol
.
42
